Marconi's “Carlo Alberto” Experiments

Problem 19 Alberto

A closed λ-termM is easy if, for any other closed termN , the lambda theory generated by M = N is consistent, while it is simple easy if, given an arbitrary intersection type τ , one can find a suitable pre-order on types which allows to derive τ forM . Simple easiness implies easiness. The question whether easiness implies simple easiness constitutes Problem 19 in the TLCA list of open problem...

Alberto Corso A

Given a local Noetherian ring (R, m) of dimension d > 0 and infinite residue field, we study the invariants (dimension and multiplicity) of the Sally module SJ (I) of any m-primary ideal I with respect to a minimal reduction J. As a by-product we obtain an estimate for the Hilbert coefficients of m that generalizes a bound established by J. Elias and G. Valla in a local Cohen-Macaulay setting. ...

Monte Carlo Experiments: Design and Implementation

Some Monte Carlo Experiments in Computing

Alberto A . Martinez : Negative Math

is published by Princeton University Press and copyrighted, © 2005, by Princeton University Press. All rights reserved. No part of this book may be reproduced in any form by any electronic or mechanical means (including photocopying, recording, or information storage and retrieval) without permission in writing from the publisher, except for reading and browsing via the World Wide Web. Users ar...